l{-}all($L$; $x$.$P$($x$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce(($\lambda$$x$,$p$. $P$($x$) $\wedge$ $p$); True; $L$)